Démontrer :
On prend une base de \(F\) et la Base duale associée.
On peut étendre les vecteurs de la Base duale sur \(E\) par le Théorème de Hahn-Banach.
On pose \(P_F\) la fonction linéaire correspondant à la somme des \(\psi_i(x)e_i\).
C'est bien la fonction recherchée.
